examsolutions proof by induction